Minimality Criteria in Spatial Belief Revision
نویسندگان
چکیده
Agents typically revise their beliefs when confronted with evidence that contradicts those beliefs, selecting from a number of possible revisions sufficient to reestablish consistency. In cases where an individual’s beliefs concern spatial relations, belief revision has been fruitfully treated as a decision about which features of an initially constructed spatial mental model to modify. A normative claim about belief revision maintains that agents should prefer minimal belief revisions. Yet recent studies have rebutted the preceding claim, where minimality is understood to consist in modifying the position of the fewest objects, showing instead that reasoners prefer revisions that modify the position of an object x while retaining the position of an object y, when the agent’s new evidence is a relational statement of the form ‘xRy’. We here present cases where the preceding effect is reduced, and show an effect of minimality as measured by the number of initial premises preserved.
منابع مشابه
Minimal Change in AGM Revision for Non-Classical Logics
In this paper, we address the problem of applying AGMstyle belief revision to non-classical logics. We discuss the idea of minimal change in revision and show that for non-classical logics, some sort of minimality postulate has to be explicitly introduced. We also present two constructions for revision which satisfy the AGM postulates and prove the representation theorems including minimality p...
متن کاملA Unified View of Consequence Relation, Belief Revision and Conditional Logic
The notion of minimality is widely used in three different areas of Artificial Intelligence: non-monotonic reasoning, belief revision, and conditional reasoning. However, it is difficult for the readers of the literature in these areas to perceive the similarities clearly, because each formalization in those areas uses its own language sometimes without referring to other for-malizations. We de...
متن کاملMinimality of Solution Update in Conflict Resolution: An Application of Revision Programming to von Neumann-Morgenstern Approach
In a 1944 book that started game theory (and mathematical approach to conflict resolution), von Neumann and Morgenstern proposed the notion of a solution. When the situation changes, the old solution is often no longer a solution, so it needs to be updated. In practical applications, it is usually desirable to keep the solution change “minimal” in some reasonable sense. We show that for a seemi...
متن کاملMinimality Postulates for Semantic Integration
Though for a long time the set of classical belief revision belief postulates of Alchourrón, Gärdenfors and Makinson (AGM) was thought to incorporate a principle of minimality, according to which the outcome of revising a knowledge base (KB) by new information had to be minimally different from the original KB, it was realised that one had to add additional postulates, called relevance postulat...
متن کاملMinimality Postulates for Semantic Integration (Extended Version)
Though for a long time the set of classical belief revision belief postulates of Alchourrón, Gärdenfors and Makinson (AGM) was thought to incorporate a principle of minimality, according to which the outcome of revising a knowledge base (KB) by new information had to be minimally different from the original KB, it was realised that one had to add additional postulates, called relevance postulat...
متن کامل